Dagstuhl-Workshop MBEES:

modellbasierte automobile Steuergeräteentwicklun

Model-Based Development of Embedded Systems

We describe concepts and processes for model-based development of embedded control systems. Tool support for such an approach is provided by the award-winning AutoFocus/Quest tool set jointly developed by TU Mnchen and Validas AG. We outline real-time extensions for the modeling languages and show how to use time information for testing. A small case study demonstrates these extensions